- operational automaton
- мат.операционный автомат
English-Russian scientific dictionary. 2008.
English-Russian scientific dictionary. 2008.
automata theory — Body of physical and logical principles underlying the operation of any electromechanical device (an automaton) that converts information input in one form into another, or into some action, according to an algorithm. Norbert Wiener and Alan M.… … Universalium
History of robots — The history of robots date at least as far back as the ancient legends.Robotics in AntiquityLikely fictional, the Iliad illustrates the concept of robotics by stating that the god Hephaestus made talking mechanical handmaidens out of gold. cite… … Wikipedia
Model-based testing — is the application of Model based design for designing and optionally executing the necessary artifacts to perform software testing. Models can be used to represent the desired behavior of the System Under Test (SUT), or to represent the desired… … Wikipedia
Graham Kendall — Infobox Scientist name = Graham Kendall image width = caption = 18th July 2008, Coastguard Restaurant, Kent, UK birth date = birth date and age|1961|7|21|df=y birth place = London, UK death date = death place = residence = UK citizenship = UK… … Wikipedia
Military simulation — Participants from five nations (Singapore, United Kingdom, Malaysia, Australia and New Zealand) conduct a map exercise during Exercise SUMAN Warrior 2006 Military simulations, also known informally as war games, are simulations in which theories… … Wikipedia
Physical Sciences — ▪ 2009 Introduction Scientists discovered a new family of superconducting materials and obtained unique images of individual hydrogen atoms and of a multiple exoplanet system. Europe completed the Large Hadron Collider, and China and India took… … Universalium
List of computing and IT abbreviations — This is a list of computing and IT acronyms and abbreviations. Contents: 0–9 A B C D E F G H I J K L M N O P Q R S T U V W X Y … Wikipedia
Computer — For other uses, see Computer (disambiguation). Computer technology redirects here. For the company, see Computer Technology Limited. Computer … Wikipedia
Traffic congestion — Traffic jam redirects here. For other uses, see Traffic jam (disambiguation). Traffic congestion on Marginal Pinheiros, near downtown São Paulo. According to Time magazine, São Paulo has the world s worst traffic jams.[1 … Wikipedia
Model checking — This article is about checking of models in computer science. For the checking of models in statistics, see regression model validation. In computer science, model checking refers to the following problem: Given a model of a system, test… … Wikipedia
List of philosophy topics (I-Q) — II and thou I Ching I Ching I proposition I Thou I Thou relationshipIaIamblichus (philosopher)IbYahya Ibn Adi Yahya Ibn Adi Ibn al Arabi Muhyi al Din Ibn al Arabi Abu Bakr Ibn Bajja Abu Bakr Ibn Bājja Abu Bakr Muhammad Ibn Yahya Ibn as Say igh… … Wikipedia